PROLOG Oil the DADO Maehlne : A Parallel S 1 stem For Blgh - Speed Losle ProgrammIng
نویسندگان
چکیده
Ab.traet DADO is a highly-parallel. VLSI-baaed. tree-~tructured machine d~igned to provide ~ignificant. performance improvements in the execution or large production 8S18tem programs. In tru, paper. we describe clll'nnL research aimed at. implementing PROLOG within the parallel rramework which DADO provid~. The implementation allo .. ~ parallel ~atisraction or both disjunct.ions and conjunctions which occur in the goal tree generated during the execution or a PROLOG program. Local unification routin~ in ea.ch proceS!Of allow parallel satisfaction or disjunctive goals while a parallel relational join operation provid~ a framework to solve conjunctive subgoals. An overview of the techniqu~ currently being implemented and their relationship to the architecture is pr~ented.
منابع مشابه
Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence
As part of our research on very high performance parallel architectures, we have been investigating; machine architectures specially adapted to the highly efficient implementation of artificial intelligence (AI) software. In the course of our research we designed DADO, a highly parallel, VLSI-based, tree-structured machine, and implemented a high-speed algorithm for production systems on a simu...
متن کاملParallel Bounded Quantiication|preliminary Results
We have extended D. H. D. Warren's abstract machine for sequential Prolog with parallel instructions that implement bounded quantiica-tions, an extension to Prolog proposed by Barklund and Bevemyr. These instructions are intended for parallel computers supporting the data parallel programming model. Luther, an emulator for the sequential abstract machine implemented in the C programming languag...
متن کاملAn Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential systems. However, most proposed parallel logic programming execution models lack the performance optimizations and storage efficiency of seque...
متن کاملA fuzzy mixed-integer goal programming model for a parallel machine scheduling problem with sequence-dependent setup times and release dates
This paper presents a new mixed-integer goal programming (MIGP) model for a parallel machine scheduling problem with sequence-dependent setup times and release dates. Two objectives are considered in the model to minimize the total weighted flow time and the total weighted tardiness simultaneously. Due to the com-plexity of the above model and uncertainty involved in real-world scheduling probl...
متن کاملParallel Symbolic Computing with the Shared Dataspace Coordination Model
Shared Prolog is a language for symbolic computing that combines distributed coordination based on a shared dataspace with sequential symbolic computation based on logic programming. Shared Prolog includes a concept of logically shared dataspace, thus introducing in parallel logic programming a coordination model different from the stream-based communication model of Flat Concurrent Prolog and ...
متن کامل